home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 7 / Apprentice-Release7.iso / Source Code / C / Applications / Moscow ML 1.42 / lib / Listsort.sig < prev    next >
Encoding:
Text File  |  1997-08-18  |  381 b   |  14 lines  |  [TEXT/Moml]
  1. (* Listsort *)
  2.  
  3. val sort   : ('a * 'a -> order) -> 'a list -> 'a list
  4. val sorted : ('a * 'a -> order) -> 'a list -> bool
  5.  
  6. (* 
  7.    [sort ordr xs] sorts the list xs in nondecreasing order, using the
  8.    given ordering.  Uses Richard O'Keefe's smooth applicative merge
  9.    sort.
  10.  
  11.    [sorted ordr xs] checks that the list xs is sorted in nondecreasing
  12.    order, in the given ordering.
  13. *)
  14.